On Michael Dummett's Notion of Decidability
نویسندگان
چکیده
منابع مشابه
epistemic modality in english and persian academic writing: a cross-linguistic study of genre on the notion of transfer
چکیده حیطه ی نوشتار دانشگاهی اخیرا شاهد تغییرات عمده ای از غیرشخصی بودن (عینی بودن) به شخصی بودن بوده است. شخصی بودن متون دانشگاهی اهمیت استفاده از وجهیت معرفتی را برجسته می سازد چرا که? وجهیت معرفتی? بر اساس یکی از تعاریف ارائه شده از این مقوله? ارتباط تنگاتنگی با شخصی بودن داشته و به عنوان بیان نظر شخصی گوینده در مورد جز گزاره ای گفته در نظر گرفته میشود. بنابراین? با در نظر داشتن نقاط مشترک...
15 صفحه اولOn the Notion of Fuzzy Shadowing Property
This paper is concerned with the study of fuzzy dynamical systems. Let (XM ) be a fuzzy metric space in the sense of George and Veeramani. A fuzzy discrete dynamical system is given by any fuzzy continuous self-map dened on X. We introduce the various fuzzy shad- owing and fuzzy topological transitivity on a fuzzy discrete dynamical systems. Some relations between this notions have been proved.
متن کاملOn the Decidability of Process
We present general results for showing process equivalences applied to the nite control fragment of the -calculus decidable. Firstly a Finite Reachability Theorem states that up to nite name spaces and up to a static normalisation procedure, the set of reachable agent expressions is nite. Secondly a Boundedness Lemma shows that no potential computations are missed when name spaces are chosen la...
متن کاملOn Decidability of Persistence Notions
Persistence is a widely investigated fundamental property of concurrent systems, which was extended in many ways. We propose a unified characterisation of several notions considered in the literature. The main result of the paper is a detailed description of a general and extendable framework that allows to state decision problems for different persistence notions (well known as well as newly f...
متن کاملOn the Notion of Cognition
We discuss philosophical issues concerning the notion of cognition basing ourselves in experimental results in cognitive sciences, especially in computer simulations of cognitive systems. There have been debates on the “proper” approach for studying cognition, but we have realized that all approaches can be in theory equivalent. Different approaches model different properties of cognitive syste...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Kansas Working Papers in Linguistics
سال: 1983
ISSN: 1043-3805
DOI: 10.17161/kwpl.1808.475